home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 15 / CU Amiga Magazine's Super CD-ROM 15 (1997)(EMAP Images)(GB)[!][issue 1997-10].iso / CUCD / Graphics / Ghostscript / source / ilocate.c < prev    next >
C/C++ Source or Header  |  1997-04-15  |  11KB  |  380 lines
  1. /* Copyright (C) 1995, 1996, 1997 Aladdin Enterprises.  All rights reserved.
  2.   
  3.   This file is part of Aladdin Ghostscript.
  4.   
  5.   Aladdin Ghostscript is distributed with NO WARRANTY OF ANY KIND.  No author
  6.   or distributor accepts any responsibility for the consequences of using it,
  7.   or for whether it serves any particular purpose or works at all, unless he
  8.   or she says so in writing.  Refer to the Aladdin Ghostscript Free Public
  9.   License (the "License") for full details.
  10.   
  11.   Every copy of Aladdin Ghostscript must include a copy of the License,
  12.   normally in a plain ASCII text file named PUBLIC.  The License grants you
  13.   the right to copy, modify and redistribute Aladdin Ghostscript, but only
  14.   under certain conditions described in the License.  Among other things, the
  15.   License requires that the copyright notice and this notice be preserved on
  16.   all copies.
  17. */
  18.  
  19. /* ilocate.c */
  20. /* Object locating and validating for Ghostscript memory manager */
  21. #include "ghost.h"
  22. #include "memory_.h"
  23. #include "errors.h"
  24. #include "gsexit.h"
  25. #include "gsstruct.h"
  26. #include "iastate.h"
  27. #include "idict.h"
  28. #include "igc.h"            /* for gc_state_t */
  29. #include "igcstr.h"            /* for prototype */
  30. #include "iname.h"
  31. #include "ipacked.h"
  32. #include "isstate.h"
  33. #include "iutil.h"            /* for packed_get */
  34. #include "ivmspace.h"
  35. #include "store.h"
  36.  
  37. /* ================ Locating ================ */
  38.  
  39. /* Locate a pointer in the chunks of a space being collected. */
  40. /* This is only used for string garbage collection and for debugging. */
  41. chunk_t *
  42. gc_locate(const void *ptr, gc_state_t *gcst)
  43. {    const gs_ref_memory_t *mem;
  44.     if ( chunk_locate(ptr, &gcst->loc) )
  45.       return gcst->loc.cp;
  46.     mem = gcst->loc.memory;
  47.     /* Try the other space, if there is one. */
  48.     if ( gcst->space_local != gcst->space_global )
  49.       { gcst->loc.memory =
  50.           (mem->space == avm_local ? gcst->space_global : gcst->space_local);
  51.         gcst->loc.cp = 0;
  52.         if ( chunk_locate(ptr, &gcst->loc) )
  53.           return gcst->loc.cp;
  54.         /* Try other save levels of this space. */
  55.         while ( gcst->loc.memory->saved != 0 )
  56.           { gcst->loc.memory = &gcst->loc.memory->saved->state;
  57.         gcst->loc.cp = 0;
  58.         if ( chunk_locate(ptr, &gcst->loc) )
  59.           return gcst->loc.cp;
  60.           }
  61.       }
  62.     /* Try the system space.  This is simpler because it isn't */
  63.     /* subject to save/restore. */
  64.     if ( mem != gcst->space_system )
  65.     {    gcst->loc.memory = gcst->space_system;
  66.         gcst->loc.cp = 0;
  67.         if ( chunk_locate(ptr, &gcst->loc) )
  68.           return gcst->loc.cp;
  69.     }
  70.     /* Try other save levels of the initial space, */
  71.     /* or of global space if the original space was system space. */
  72.     /* In the latter case, try all levels. */
  73.     gcst->loc.memory =
  74.       (mem == gcst->space_system || mem->space == avm_global ?
  75.        gcst->space_global : gcst->space_local);
  76.     for ( ; ; )
  77.       { if ( gcst->loc.memory != mem )    /* don't do twice */
  78.           { gcst->loc.cp = 0;
  79.         if ( chunk_locate(ptr, &gcst->loc) )
  80.           return gcst->loc.cp;
  81.           }
  82.         if ( gcst->loc.memory->saved == 0 )
  83.           break;
  84.         gcst->loc.memory = &gcst->loc.memory->saved->state;
  85.       }
  86.     /* Restore locator to a legal state. */
  87.     gcst->loc.memory = mem;
  88.     gcst->loc.cp = 0;
  89.     return 0;
  90. }
  91.  
  92. /* ================ Debugging ================ */
  93.  
  94. #ifdef DEBUG
  95.  
  96. /* Validate the contents of an allocator. */
  97. void
  98. ialloc_validate_spaces(const gs_dual_memory_t *dmem)
  99. {    int i;
  100.     gc_state_t state;
  101. #define nspaces countof(dmem->spaces.indexed)
  102.     chunk_t cc[nspaces];
  103.     uint rsize[nspaces];
  104.     ref rlast[nspaces];
  105.  
  106.     state.spaces = dmem->spaces;
  107.     state.loc.memory = state.spaces.named.local;
  108.     state.loc.cp = 0;
  109.  
  110.     /* Save everything we need to reset temporarily. */
  111.     for ( i = 0; i < nspaces; i++ )
  112.       if ( dmem->spaces.indexed[i] != 0 )
  113.         {    gs_ref_memory_t *mem = dmem->spaces.indexed[i];
  114.         chunk_t *pcc = mem->pcc;
  115.         obj_header_t *rcur = mem->cc.rcur;
  116.         if ( pcc != 0 )
  117.           {    cc[i] = *pcc;
  118.             *pcc = mem->cc;
  119.           }
  120.         if ( rcur != 0 )
  121.           {    rsize[i] = rcur[-1].o_size;
  122.             rcur[-1].o_size = mem->cc.rtop - (byte *)rcur;
  123.             /* Create the final ref, reserved for the GC. */
  124.             rlast[i] = ((ref *)mem->cc.rtop)[-1];
  125.             make_mark((ref *)mem->cc.rtop - 1);
  126.           }
  127.         }
  128.  
  129.     /* Validate memory. */
  130.     for ( i = 0; i < nspaces; i++ )
  131.       if ( dmem->spaces.indexed[i] != 0 )
  132.         ialloc_validate_memory(dmem->spaces.indexed[i], &state);
  133.  
  134.     /* Undo temporary changes. */
  135.     for ( i = 0; i < nspaces; i++ )
  136.       if ( dmem->spaces.indexed[i] != 0 )
  137.         {    gs_ref_memory_t *mem = dmem->spaces.indexed[i];
  138.         chunk_t *pcc = mem->pcc;
  139.         obj_header_t *rcur = mem->cc.rcur;
  140.         if ( rcur != 0 )
  141.           {    rcur[-1].o_size = rsize[i];
  142.             ((ref *)mem->cc.rtop)[-1] = rlast[i];
  143.           }
  144.         if ( pcc != 0 )
  145.           *pcc = cc[i];
  146.         }
  147. }
  148. void
  149. ialloc_validate_memory(const gs_ref_memory_t *mem, gc_state_t *gcst)
  150. {    const gs_ref_memory_t *smem;
  151.     int level;
  152.  
  153.     for ( smem = mem, level = 0; smem != 0;
  154.           smem = &smem->saved->state, --level
  155.         )
  156.       { const chunk_t *cp;
  157.  
  158.         if_debug3('6', "[6]validating memory 0x%lx, space %d, level %d\n",
  159.               (ulong)mem, mem->space, level);
  160.         for ( cp = smem->cfirst; cp != 0; cp = cp->cnext )
  161.           ialloc_validate_chunk(cp, gcst);
  162.       };
  163. }
  164.  
  165. /* Check the validity of an object's size. */
  166. #define object_size_valid(pre, size, cp)\
  167. ((pre)->o_large ? (const byte *)(pre) == (cp)->cbase :\
  168.   (size) <= (cp)->ctop - (const byte *)((pre) + 1))
  169.  
  170. /* Validate all the objects in a chunk. */
  171. private void ialloc_validate_ref(P2(const ref *, gc_state_t *));
  172. void
  173. ialloc_validate_chunk(const chunk_t *cp, gc_state_t *gcst)
  174. {    if_debug_chunk('6', "[6]validating chunk", cp);
  175.     SCAN_CHUNK_OBJECTS(cp);
  176.       DO_ALL
  177.         if ( pre->o_type == &st_free )
  178.           { if ( !object_size_valid(pre, size, cp) )
  179.               lprintf3("Bad free object 0x%lx(%lu), in chunk 0x%lx!\n",
  180.                    (ulong)pre, (ulong)size, (ulong)cp);
  181.           }
  182.         else
  183.           ialloc_validate_object(pre + 1, cp, gcst);
  184.         if_debug3('7', " [7]validating %s(%lu) 0x%lx\n",
  185.               struct_type_name_string(pre->o_type),
  186.               (ulong)size, (ulong)pre);
  187.         if ( pre->o_type == &st_refs )
  188.           {    const ref_packed *rp = (const ref_packed *)(pre + 1);
  189.             const char *end = (const char *)rp + size;
  190.  
  191.             while ( (const char *)rp < end )
  192.               if ( r_is_packed(rp) )
  193.                 { ref unpacked;
  194.                   packed_get(rp, &unpacked);
  195.                   ialloc_validate_ref(&unpacked, gcst);
  196.                   rp++;
  197.                 }
  198.               else
  199.                 { ialloc_validate_ref((const ref *)rp, gcst);
  200.                   rp += packed_per_ref;
  201.                 }
  202.           }
  203.         else
  204.           {    struct_proc_enum_ptrs((*proc)) =
  205.               pre->o_type->enum_ptrs;
  206.             uint index = 0;
  207.             const void *ptr;
  208.             gs_ptr_type_t ptype;
  209.  
  210.             if ( proc != 0 )
  211.               for ( ; (ptype = (*proc)(pre + 1, size, index, &ptr)) != 0; ++index )
  212.                 if ( ptr == 0 )
  213.                   DO_NOTHING;
  214.                 else if ( ptype == ptr_struct_type )
  215.                   ialloc_validate_object(ptr, NULL, gcst);
  216.                 else if ( ptype == ptr_ref_type )
  217.                   ialloc_validate_ref(ptr, gcst);
  218.           }
  219.     END_OBJECTS_SCAN
  220. }
  221. /* Validate a ref. */
  222. private void
  223. ialloc_validate_ref(const ref *pref, gc_state_t *gcst)
  224. {    const void *optr;
  225.     const ref *rptr;
  226.     const char *tname;
  227.     uint size;
  228.  
  229.     if ( !gs_debug_c('?') )
  230.       return;            /* no check */
  231.     if ( r_space(pref) == avm_foreign )
  232.       return;
  233.     switch ( r_type(pref) )
  234.       {
  235.       case t_file:
  236.         optr = pref->value.pfile;
  237.         goto cks;
  238.       case t_device:
  239.         optr = pref->value.pdevice;
  240.         goto cks;
  241.       case t_fontID:
  242.       case t_struct:
  243.       case t_astruct:
  244.         optr = pref->value.pstruct;
  245. cks:        if ( optr != 0 )
  246.           ialloc_validate_object(optr, NULL, gcst);
  247.         break;
  248.       case t_name:
  249.         if ( name_index_ptr(r_size(pref)) != pref->value.pname )
  250.           {    lprintf3("At 0x%lx, bad name %u, pname = 0x%lx\n",
  251.                  (ulong)pref, (uint)r_size(pref),
  252.                  (ulong)pref->value.pname);
  253.             break;
  254.           }
  255.         {    ref sref;
  256.             name_string_ref(pref, &sref);
  257.             if ( r_space(&sref) != avm_foreign &&
  258.                  !gc_locate(sref.value.const_bytes, gcst)
  259.                )
  260.               {    lprintf4("At 0x%lx, bad name %u, pname = 0x%lx, string 0x%lx not in any chunk\n",
  261.                      (ulong)pref, (uint)r_size(pref),
  262.                      (ulong)pref->value.pname,
  263.                      (ulong)sref.value.const_bytes);
  264.               }
  265.         }
  266.         break;
  267.       case t_string:
  268.         if ( r_size(pref) != 0 && !gc_locate(pref->value.bytes, gcst) )
  269.           lprintf3("At 0x%lx, string ptr 0x%lx[%u] not in any chunk\n",
  270.                (ulong)pref, (ulong)pref->value.bytes,
  271.                (uint)r_size(pref));
  272.         break;
  273.       case t_array:
  274.         if ( r_size(pref) == 0 )
  275.           break;
  276.         rptr = pref->value.refs;
  277.         size = r_size(pref);
  278.         tname = "array";
  279. cka:        if ( !gc_locate(rptr, gcst) )
  280.           { lprintf3("At 0x%lx, %s 0x%lx not in any chunk\n",
  281.                  (ulong)pref, tname, (ulong)rptr);
  282.             break;
  283.           }
  284.         { uint i;
  285.           for ( i = 0; i < size; ++i )
  286.             { const ref *elt = rptr + i;
  287.               if ( r_is_packed(elt) )
  288.             lprintf5("At 0x%lx, %s 0x%lx[%u] element %u is not a ref\n",
  289.                  (ulong)pref, tname, (ulong)rptr, size, i);
  290.             }
  291.         }
  292.         break;
  293.       case t_shortarray:
  294.       case t_mixedarray:
  295.         if ( r_size(pref) == 0 )
  296.           break;
  297.         optr = pref->value.packed;
  298.         if ( !gc_locate(optr, gcst) )
  299.           lprintf2("At 0x%lx, packed array 0x%lx not in any chunk\n",
  300.                (ulong)pref, (ulong)optr);
  301.         break;
  302.       case t_dictionary:
  303.         { const dict *pdict = pref->value.pdict;
  304.           if ( !r_has_type(&pdict->values, t_array) ||
  305.                !r_is_array(&pdict->keys) ||
  306.                !r_has_type(&pdict->count, t_integer) ||
  307.                !r_has_type(&pdict->maxlength, t_integer)
  308.              )
  309.             lprintf2("At 0x%lx, invalid dict 0x%lx\n",
  310.                  (ulong)pref, (ulong)pdict);
  311.           rptr = (const ref *)pdict;
  312.         }
  313.         size = sizeof(dict) / sizeof(ref);
  314.         tname = "dict";
  315.         goto cka;
  316.       }
  317. }
  318.  
  319. /* Validate an object. */
  320. void
  321. ialloc_validate_object(const obj_header_t *ptr, const chunk_t *cp,
  322.   gc_state_t *gcst)
  323. {    const obj_header_t *pre = ptr - 1;
  324.     ulong size = pre_obj_contents_size(pre);
  325.     gs_memory_type_ptr_t otype = pre->o_type;
  326.     const char *oname;
  327.  
  328.     if ( !gs_debug_c('?') )
  329.       return;            /* no check */
  330.     if ( cp == 0 && gcst != 0 )
  331.     {    gc_state_t st;
  332.         st = *gcst;        /* no side effects! */
  333.         if ( !(cp = gc_locate(pre, &st)) )
  334.         {    lprintf1("Object 0x%lx not in any chunk!\n",
  335.                  (ulong)pre);
  336.             return;/*gs_abort();*/
  337.         }
  338.     }
  339.     if ( otype == &st_free )
  340.       { lprintf3("Reference to free object 0x%lx(%lu), in chunk 0x%lx!\n",
  341.              (ulong)pre, (ulong)size, (ulong)cp);
  342.         gs_abort();
  343.       }
  344.     if ( (cp != 0 && !object_size_valid(pre, size, cp)) ||
  345.          otype->ssize == 0 ||
  346.          size % otype->ssize != 0 ||
  347.          (oname = struct_type_name_string(otype),
  348.           *oname < 33 || *oname > 126)
  349.        )
  350.     {    lprintf4("Bad object 0x%lx(%lu), ssize = %u, in chunk 0x%lx!\n",
  351.              (ulong)pre, (ulong)size, otype->ssize, (ulong)cp);
  352.         gs_abort();
  353.     }
  354. }
  355.  
  356. #else                /* !DEBUG */
  357.  
  358. void
  359. ialloc_validate_spaces(const gs_dual_memory_t *dmem)
  360. {
  361. }
  362.  
  363. void
  364. ialloc_validate_memory(const gs_ref_memory_t *mem, gc_state_t *gcst)
  365. {
  366. }
  367.  
  368. void
  369. ialloc_validate_chunk(const chunk_t *cp, gc_state_t *gcst)
  370. {
  371. }
  372.  
  373. void
  374. ialloc_validate_object(const obj_header_t *ptr, const chunk_t *cp,
  375.   gc_state_t *gcst)
  376. {
  377. }
  378.  
  379. #endif                /* (!)DEBUG */
  380.